Specification-Based Testing for CoCasl's Modal Specifications
نویسندگان
چکیده
Specification-based testing is a particular case of black-box testing, which consists in deriving test cases from an analysis of a formal specification. We present in this paper an extension of the most popular and most efficient selection method widely used in the algebraic framework, called axiom unfolding, to coalgebraic specifications, using the modal logic provided by the CoCasl specification language.
منابع مشابه
Speci cation-Based Testing for CoCasl's Modal Speci cations
Speci cation-based testing is a particular case of black-box testing, which consists in deriving test cases from an analysis of a formal speci cation. In the framework of algebraic speci cations, the method for selecting test cases which has widely and e ciently been applied is called axiom unfolding. It has been shown e cient both in terms of quality of the resulting test set, which has been p...
متن کاملTesting the Consequences of Specifications in the Modal -calculus
In a companion paper in these proceedings [6], we introduced the CCS notation and explained how to write specifications succinctly in CCS using the composition operator. In this paper we explain how one may associate a process logic with CCS and use it to resolve deadlock, safety, liveness, and fairness properties of specifications by static testing.
متن کاملModal specification theories for component-based design
Component-based software engineering has emerged as an important software engineering discipline to cope with the growing complexity of today’s software systems. Components are encapsulated software units with well-defined interfaces. A key principle of component-based development is to build larger systems by composition of smaller, less complex components. An important application area concer...
متن کاملTest Case Generation from Formal Models of Cyber Physical System
Formal methods and testing are two important approaches that assist in the development of cyber physical systems. Formal specification can be used to assist testing and Formal methods and testing are seen as complementary. In this paper, we address the problem of generating test cases for cyber physical systems from formal specifications using differential dynamic logic(DL), a logic for specify...
متن کاملComplexity of Decision Problems for Mixed and Modal Specifications
We consider decision problems for modal and mixed transition systems used as specifications: the common implementation problem (whether a set of specifications has a common implementation), the consistency problem (whether a single specification has an implementation), and the thorough refinement problem (whether all implementations of one specification are also implementations of another one)....
متن کامل